Ministério da Educação

​UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ

UTFPR - CAMPUS FRANCISCO BELTRAO
DIRETORIA-GERAL - CAMPUS FRANCISCO BELTRÃO
DIR. DE GRAD.E EDUCACAO PROFISSIONAL -FB
SECRETARIA DE GESTAO ACADEMICA - FB
DEPARTAMENTO DE REGISTROS ACADEMICOS -FB

Código Ofertado

Disciplina/Unidade Curricular

Modo de Avaliação

Modalidade da disciplina

Oferta

LI3L

Linguagens Formais E Teoria Da Computação

Nota/Conceito E Frequência

Presencial

Semestral

Carga Horária

AT

AP

APS

ANP

APCC

Total

1

1

2

0

0

30

• AT: Atividades Teóricas (aulas semanais).

• AP: Atividades Práticas (aulas semanais).

• ANP: Atividades não presenciais (horas no período).

• APS: Atividades Práticas Supervisionadas (aulas no período).

• APCC: Atividades Práticas como Componente Curricular (aulas no período, esta carga horária está incluída em AP e AT).

• Total: carga horária total da disciplina em horas.

Objetivo

Apresentar e identificar os princípios fundamentais das linguagens formais e teoria da computação, bem como suas aplicações em Licenciatura em Informática;

Compreender plenamente os formalismos envolvidos nas etapas de análises léxica e sintática das linguagens, bem como fundamentos do processo de computação e suas limitações.

Ementa

Autômatos de estado finito. Linguagens regulares. Máquinas de Turing. Complexidade computacional. Linguagens formais e gramáticas.

Conteúdo Programático

DIVERIO, Tiarajú A.; MENEZES, Paulo Blauth. Teoria da computação: máquinas universais e computabilidade. 3. ed. Porto Alegre, RS: Bookman, 2011. 288 p. (Livros Didáticos Informática UFRGS, v. 5). ISBN 9788577808243.

SIPSER, Michael. Introdução à teoria da computação. São Paulo, SP: Thomson Learning, c2006. xxi, 459 p. ISBN 9788522104994.

RAMOS, Marcus Vinícius Midena; JOSÉ NETO, João; VEGA, Ítalo Santiago. Linguagens formais: teoria, modelagem e implementação . Porto Alegre: Bookman, 2009. 656 p. ISBN 9788577804535.

BAIRD, Kevin C. Ruby By Example : Concepts and Code. San Francisco, CA: No Starch Press, 2007. E-book: http://site.ebrary.com/lib/utfpr/docDetail.action?docID=10183329

TUCKER, Allen B; NOONAN, Robert E. Linguagens de programação: princípios e paradigmas. 2. ed. São Paulo, SP: McGraw-Hill, 2008. xiii, 599 p. (Linguagens para microcomputadores). ISBN 9788577260447.

STALLINGS, William. Arquitetura e organização de computadores. 8. ed. São Paulo, SP: Prentice-Hall, 2010. 624 p. ISBN 9788576055648.

CORMEN, Thomas H. et al. Algoritmos: teoria e prática. Rio de Janeiro, RJ: Elsevier, 2012. xvi, 926 p. ISBN 9788535236996.

SINGH, Vishnu P. Simplified Computer Hardware Course. Computech Publications Limited: Delhi, 2009. E-book:http://site.ebrary.com/lib/utfpr/docDetail.action?docID=10417574

#

Resumo da Alteração

Edição

Data

Aprovação

Data

1

inclusao 1a.

Maici Duarte Leite

22/02/2018

Maici Duarte Leite

22/02/2018

Documento assinado eletronicamente por (Document electronically signed by) WILIAN RODRIGO GALEAZZI, TECNICO EM ASSUNTOS EDUCACIONAIS, em (at) 12/07/2022, às 11:40, conforme horário oficial de Brasília (according to official Brasilia-Brazil time), com fundamento no (with legal based on) art. 4º, § 3º, do Decreto nº 10.543, de 13 de novembro de 2020.

A autenticidade deste documento pode ser conferida no site (The authenticity of this document can be checked on the website) https://sei.utfpr.edu.br/sei/controlador_externo.php?acao=documento_conferir&id_orgao_acesso_externo=0, informando o código verificador (informing the verification code) 2847022 e o código CRC (and the CRC code) 40504E7C.